Verification theory - PDFSEARCH.IO - Document Search Engine

Verification theory
Results: 377

#	Item
21	PDF Document Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2015-04-24 09:43:30 Logic in computer science Formal methods Mathematical logic Notation Programming language Formal verification Semantics Structure Program transformation Logic programming Model theory Denotational semantics
22	Towards Diagrammability and Efficiency in Event Sequence Languages Kathi Fisler Department of Computer Science WPI (Worcester, MA, USA) Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2005-05-29 14:49:51 Finite automata Theoretical computer science Formal languages Infographics Linear temporal logic Temporal logic Finite-state machine Diagram Sequence Formal verification Automata theory Bchi automaton
23	Abstracts Abstracts are listed in the order of presentation. Monday, 18 April Bin Packing: From Theory to Experiment and Back Again David S. Johnson Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2011-04-13 17:03:53 Logic in computer science Formal methods Philosophical logic Metalogic Formal verification Theoretical computer science First-order logic Modal logic Logic Mathematical logic P versus NP problem Automated theorem proving
24	ATTITUDES AND SOCIAL COGNITION Self-image Resilience and Dissonance: The Role of Affirmational Resources Claude M. Steele, Steven J. Spencer, and Michael Lynch It was predicted that high self-esteem Ss (HSEs) would rati Add to Reading List Source URL: www.arts.uwaterloo.ca Language: English - Date: 2010-08-11 17:04:58 Self Positive mental attitude Psychological theories Social psychology Motivation Self-esteem Self-image Self-justification Self-affirmation Attitude change Self-enhancement Self-verification theory
25	Proving Autonomous Vehicle and Advanced Driver Assistance Systems Safety Add to Reading List Source URL: utc.ices.cmu.edu Language: English - Date: 2016-05-26 15:13:50 Formal systems Proof theory Logic in computer science Formal methods Theoretical computer science KeY Automated theorem proving Mathematical proof Formal verification Mathematical logic Modal logic Dynamic logic
26	Verification of Complex Adaptive Systems Working Group Report - Dagstuhl SeminarLuca Bortolussi, Giacomo Cabri, Giovanna Di Marzo Serugendo, Vashti Galpin, Jane Hillston, Roberta Lanciani, Mieke Massink, Mirco Tri Add to Reading List Source URL: homepage.lnu.se Language: English - Date: 2015-06-01 09:34:52 Metaphysics Complex systems theory Philosophy Formal methods Theoretical computer science Logic in computer science Runtime verification Model checking Complex adaptive system System Emergence Field
27	Automatic Verification of Determinism for Structured Parallel Programs Martin Vechev1 , Eran Yahav1 , Raghavan Raman2 , and Vivek Sarkar2 1 IBM T.J. Watson Research Center. Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:10 Computing Software engineering Programming language theory Parallel computing ALGOL 68 Schedule
28	Optimal Auctions with Ex-Post Verification and Limited Punishments Volodymyr Baranovskyi and Sergii Golovko ∗ Add to Reading List Source URL: www.personal.psu.edu Language: English - Date: 2015-12-01 11:55:25 Auction theory Game theory Auctions Pricing Business Vickrey auction Revenue equivalence Auction First-price sealed-bid auction All-pay auction Reverse auction Bidding
29	Psychological Science http://pss.sagepub.com/ Change We Can Believe In : Using Perceptions of Changeability to Promote System-Change Motives Over System-Justification Motives in Information Search India R. Johnson and Ke Add to Reading List Source URL: labs.psy.ohio-state.edu Language: English - Date: 2013-10-02 10:05:17 Self Social psychology Mnemic neglect Self-evaluation motives Self-enhancement System justification Self-assessment Self-verification theory Motivation Framing
30	Distributed Verification and Hardness of Distributed ∗ Approximation Atish Das Sarma † Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2015-05-18 12:16:16 Graph theory Mathematics Computational complexity theory Spanning tree NP-complete problems Dominating set Minimum spanning tree Maximal independent set Matching Travelling salesman problem Shortest path problem Tree

UPDATE